/*
 * SourceClosedException.java 
 */

package pipeline;


/**
 * An exception thrown when a source is no longer providing data.
 * 
 * @author Luca Molari
 */
public class SourceClosedException extends Exception {


	private static final long serialVersionUID = 3235173602142865194L;

	
}
